Books by author Zohar Manna

Showing 1 – 6 out of 6 results

1. 

   Temporal Verification of Reactive Systems

   Zohar Manna, Amir Pnueli | Springer, Berlin, 1995

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Hardback

   120.80 €

   Buy
2. 

   Mathematical Theory of Computation

   Zohar Manna | Dover Publications Inc., 2003

   
   

   In stock at our supplier - Shipping in 9 - 12 days

   Language: English

   Binding: Paperback

   20.83 €

   Sale 19 %

   You save 4.91 €

   Buy
3. 

   The Temporal Logic of Reactive and Concurrent Systems

   Zohar Manna, Amir Pnueli | Springer, Berlin, 2012

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Paperback

   61.30 €

   Buy
4. 

   Temporal Verification of Reactive Systems

   Zohar Manna, Amir Pnueli | Springer-Verlag New York Inc., 2012

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Paperback

   131.67 €

   Buy
5. 

   Temporal Logic of Reactive and Concurrent Systems

   Zohar Manna, Amir Pnueli | Springer-Verlag New York Inc., 1991

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Hardback

   131.67 €

   Buy
6. 

   The Calculus of Computation

   Aaron R. Bradley, Zohar Manna | Springer, Berlin, 2010

   
   

   Low in stock at our supplier - Shipping in 13 - 16 days

   Language: English

   Binding: Paperback

   61.30 €

   Buy

Estimated delivery date you can see on the book page. Find out more